MILP formulations of cumulative constraints for railway scheduling - A comparative study

This paper introduces two Mixed Integer Linear Programming (MILP) models for railway traffic planning using a cumulative scheduling constraint and associated pre-processing filters. We compare standard solver performance for these models on three sets of problems from the railway domain and for two of them, where tasks have unitary resource consumption, we also compare them with two more conventional models. In the experiments, the solver performance of one of the cumulative models is clearly the best and is also shown to scale very well for a large scale practical railway scheduling problem

Mixed integer-linear formulations of cumulative scheduling constraints - A comparative study

This paper introduces two MILP models for the cumulative scheduling constraint and associated pre-processing filters. We compare standard solver performance for these models on three sets of problems and for two of them, where tasks have unitary resource consumption, we also compare them with two models based on a geometric placement constraint. In the experiments, the solver performance of one of the cumulative models, is clearly the best and is also shown to scale very well for a large scale industrial transportation scheduling problem

A functional approach to heterogeneous computing in embedded systems

Developing programs for embedded systems presents quite a challenge; not only should programs be resource efficient, as they operate under memory and timing constraints, but they should also take full advantage of the hardware to achieve maximum performance. Since performance is such a significant factor in the design of embedded systems, modern systems typically incorporate more than one kind of processing element to benefit from specialized processing capabilities. For such heterogeneous systems the challenge in developing programs is even greater.In this thesis we explore a functional approach to heterogeneous system development as a means to address many of the modularity problems that are typically found in the application of low-level imperative programming for embedded systems. In particular, we explore a staged hardware software co-design language that we name Co-Feldspar and embed in Haskell. The staged approach enables designers to build their applications from reusable components and skeletons while retaining control over much of the generated source code. Furthermore, by embedding the language in Haskell we can exploit its type classes to write not only hardware and software programs, but also generic programs with overloaded instructions and expressions. We demonstrate the usefulness of the functional approach for co-design on a cryptographic example and signal processing filters, and benchmark software and mixed hardware-software implementations. Co-Feldspar currently adopts a monadic interface, which provides an imperative functional programming style that is suitable for explicit memory management and algorithms that rely on a certain evaluation order. For algorithms that are better defined as pure functions operating on immutable values, we provide a signal and array library that extends a monadic language, like Co-Feldspar. These extensions permit a functional style of programming by composing high-level combinators. Our compiler transforms such high-level code into efficient programs with mutating code. In particular, we show how to execute an FFT safely in-place, and how to describe a FIR and IIR filter efficiently as streams. Co-Feldspar’s monadic interface is however quite invasive; not only is the burden of explicit memory management quite heavy on the user, it is also quite easy to shoot on eself in the foot. It is for these reasons that we also explore a dynamic memory management discipline that is based on regions but predictable enough to be of use for embedded systems. Specifically, this thesis introduces a program analysis which annotates values with dynamically allocated memory regions. By limiting our efforts to functional languages that target embedded software, we manage to define a region inference algorithm that is considerably simpler than traditional approaches

A Functional Approach to Hardware Software Co-Design

Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability.In this thesis we explore a functional approach to heterogeneous system development, with a staged hardware software co-design language embedded in Haskell, to address many of the modularity problems typically found in such systems. This staged approach enables designers to build their applications from reusable components and skeletons, while retaining control over much of the generated source code. Design exploration also benefits from the functional approach, since Haskell\u27s type classes can be used to ensure that certain operations will be available. As a result, a developer can not only write for hardware and software in the co-design language, but she can also write generic programs that are suitable for both.Internally, the co-design language is based on a monadic representation of imperative programs that abstracts away from its underlying statement, expression, and predicate types by establishing an interface to their respective interpreters. Programs are thus loosely coupled to their underlying types, giving a clear separation of concerns. The compilation process is expressed as a series of translations between progressively smaller typed languages, which safeguards against many common errors.In addition to the hardware software co-design language, this thesis also introduces a language for expressing digital signal processing algorithms, using a model of synchronous data-flow that is embedded in Haskell. The language supports definitions in a functional style, reducing the gap between an algorithm\u27s mathematical specification and its implementation. A vector language is also presented, which builds on a functional representation that guarantees fusion for arrays. Both of these languages are intended to be extensions of the co-design language, but neither one is dependent on it and can thus be used to extend other languages as well

Teknisk slutrapport för RANPLAN - Beräkningstöd för planering och resursallokering på rangerbangården

I denna rapport presenteras de modeller och resultat som projektet/RANPLAN-beräkningsstöd för planering och resursallokering/ producerat. RANPLAN finansierades av Trafikverkets FUD-program (F 09-11546/AL50) och pågick från januari 2010 till december 2011. Under projektets gång har ett flertal heuristiska algoritmer och optimeringmodeller tagits fram som skulle kunna förbättra och förenkla planeringen vid rangerbangårdar. En demonstrator baserad på historiska data visar att metoderna är så pass skalbara och effektiva att de är attraktiva för kommersiell implementering. Vidare presenteras förslag på lämpliga effektivitets- och kvalitetsmått för rangering

Reindeer retrieved from melting snow patches reveal information on prehistoric landscape use in Swedish Sápmi

In this study we discuss the remains of reindeer skeletal elements found at two different snow patches at Varánjunnje and Gárránistjåhkkå situated in the National Park of Stuor Muorkke in northern Sweden. Unfortunately, glaciers and snow patches are melting; however, this offers a unique opportunity to study the use of mountainous landscape in the past. Here we compare modern, historic and archaeological reindeer to Forest and Mountain Sámi reindeer herding districts. By using radiocarbon dating and osteological and stable isotope analysis (δ13C, δ15N and δ34S) we aim to study reindeer mobility and land use in the past. The results from the morphometric data, stable isotope analysis and radiocarbon dating from prehistoric and historic reindeer (n=40) show that there is very little variation over time in the diet of the reindeer retrieved from the snow patches. We also found that these reindeer must have grazed in different geographic areas. There was no correlation between age, gender, pathological changes and diet, and the castrated reindeer did not differ from other reindeer

Measurement of charged jet production cross sections and nuclear modification in p-Pb collisions at root s(NN)=5.02 TeV

Charged jet production cross sections in p-Pb collisions at root s(NN) = 5.02 TeV measured with the ALICE detector at the LHC are presented. Using the anti-k(T) algorithm, jets have been reconstructed in the central rapidity region from charged particles with resolution parameters R = 0.2 and R = 0.4. The reconstructed jets have been corrected for detector effects and the underlying event background. To calculate the nuclear modification factor, R-pPb, of charged jets in p-Pb collisions, a pp reference was constructed by scaling previously measured charged jet spectra at root s = 7 TeV. In the transverse momentum range 20Peer reviewe